Zermelo-Fraenkel set-theory with the axiom of Choice